-
1 logic event
-
2 logic event
Большой англо-русский и русско-английский словарь > logic event
-
3 logic event
Вычислительная техника: логическое событие -
4 logic event
English-Russian dictionary of computer science and programming > logic event
-
5 logic event
-
6 logic event
Англо-русский словарь по исследованиям и ноу-хау > logic event
-
7 event
1) событиеа) объект ядра в Windows, используемый для синхронизации потоковб) в OLE - уведомляющее сообщение, пересылаемое от одного объекта к другому или от управляющего элемента - контейнеру в ответ на изменение состояния или действия пользователяв) любая акция пользователя, которая может быть обработана программой2) исход, результат•- antithetical eventssize of an event — масштаб события (степень влияния события на процессы, выполняемые в системе)
- antithetic events
- automatic event
- certain event
- compatible events
- complementary event
- consecutive events
- data driven event
- dependent event
- desired event
- disjoint events
- double diamond event
- dummy event
- ending event
- end event
- endogenous event
- equally possible events
- equiprobable events
- exclusive events
- exhaustive events
- exogenous event
- fault event
- favorable event
- file event
- flag event
- hanging event
- impossible event
- incompatible events
- incomplete event
- independent event
- initial event
- interrupt event
- logic event
- mission-specific event
- non-continuous events
- null event
- objective event
- operator-triggered event
- opposite event
- overlapping events
- pending event
- predecessor event
- primary event
- program event
- random event
- rare event
- repeated event
- significant event
- simple event
- simulation event
- specific phonetic event
- starting event
- state-dependent event
- sure event
- task-specific event
- top event
- trap event
- triggering event
- undesired event
- vector event
- video event
- visual eventsEnglish-Russian dictionary of computer science and programming > event
-
8 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
9 logic simulation
логическое моделирование; моделирование логической схемы -
10 logic simulator
программа логического моделирования; устройство логического моделирования -
11 logic-design simulator
-
12 event sequencing logic: A description of how a task responds to each of its message or event inputs, in particular, what output is generated as a result of each input
Универсальный англо-русский словарь > event sequencing logic: A description of how a task responds to each of its message or event inputs, in particular, what output is generated as a result of each input
-
13 event sequencing logic
Программирование: логика упорядочения событийУниверсальный англо-русский словарь > event sequencing logic
-
14 event-driven logic
Программирование: событийно-управляемая логика -
15 event-driven logic simulation
Микроэлектроника: событийное логическое моделированиеУниверсальный англо-русский словарь > event-driven logic simulation
-
16 event-driven logic simulation
подієве логічне моделюванняEnglish-Ukrainian dictionary of microelectronics > event-driven logic simulation
-
17 event-driven logic simulation
English-Russian electronics dictionary > event-driven logic simulation
-
18 event-driven logic simulation
The New English-Russian Dictionary of Radio-electronics > event-driven logic simulation
-
19 event-driven logic
n COMP, PROG ereignisgesteuerte Logik f -
20 firing an event
1. инициирование события2. инициировавший событиеEnglish-Russian dictionary of Information technology > firing an event
См. также в других словарях:
Event-driven programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin … Wikipedia
Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… … Wikipedia
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Event-driven architecture — (EDA) is a software architecture pattern promoting the production, detection, consumption of, and reaction to events. An event can be defined as a significant change in state [K. Mani Chandy Event Driven Applications: Costs, Benefits and Design… … Wikipedia
Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic probe — A logic probe is a hand held pen like test probe used for analyzing and troubleshooting the logical states (Boolean 0 or 1) of a digital circuit. While most are powered by the circuit under test, some devices use batteries. They can be used on… … Wikipedia
Event monitoring — In computer science, event monitoring is the process of collecting, analyzing, and signalling event occurrences to subscribers such as operating system processes, active database rules as well as human operators. These event occurrences may stem… … Wikipedia
event — by Cliff Stagoll Deleuze introduced the concept of the event in The Logic of Sense to describe instantaneous productions intrinsic to interactions between various kinds of forces. Events are changes immanent to a confluence of parts or… … The Deleuze dictionary